factorisation system造句

例句与造句

1. At a subsequent workshop about identity types at Uppsala University in 2006 there were two talks about the relation between intensional type theory and factorization systems : one by Richard Garner, " Factorisation systems for type theory ", and one by Michael Warren, " Model categories and intensional identity types ".
2. It's difficult to find factorisation system in a sentence. 用factorisation system造句挺难的